A Set Theory Founded on Unique Generating Principle
نویسندگان
چکیده
منابع مشابه
On Modal μ-Calculus and Non-Well-Founded Set Theory
A finitary characterization for non-well-founded sets with finite transitive closure is established in terms of a greatest fixpoint formula of the modal μ-calculus. This generalizes the standard result in the literature where a finitary modal characterization is provided only for wellfounded sets with finite transitive closure. The proof relies on the concept of automaton, leading then to new i...
متن کاملTransfer principle in quantum set theory
In 1981, Takeuti introduced quantum set theory as the quantum counterpart of Boolean valued models of set theory by constructing a model of set theory based on quantum logic represented by the lattice of closed subspaces in a Hilbert space and showed that appropriate quantum counterparts of ZFC axioms hold in the model. Here, Takeuti’s formulation is extended to construct a model of set theory ...
متن کاملModal Logic and Non-well-founded Set Theory: Translation, Bisimulation, Interpolation. Illc Dissertation Series 1998-4 Modal Logic and Non-well-founded Set Theory: Translation, Bisimulation, Interpolation
door Giovanna D'Agostino geboren te Rome.
متن کاملBound Founded Answer Set Programming
Answer Set Programming (ASP) is a powerful modelling formalism that is very efficient in solving combinatorial problems. ASP solvers implement the stable model semantics that eliminates circular derivations between Boolean variables from the solutions of a logic program. Due to this, ASP solvers are better suited than propositional satisfiability (SAT) and Constraint Programming (CP) solvers to...
متن کاملA Science-Based Theory of Reliability Founded on Thermodynamic Entropy
Failure data-driven stochastic and probabilistic techniques that underlie reliability analysis of components and structures remain unchanged for decades. The present study relies on a science-based explanation of damage as the source of material failure, and develops an alternative approach to reliability assessment based on the second law of thermodynamics. The common definition of damage, whi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nagoya Mathematical Journal
سال: 1957
ISSN: 0027-7630,2152-6842
DOI: 10.1017/s0027763000022017